{| x with F = 123; B = 123 |}
